home *** CD-ROM | disk | FTP | other *** search
/ Programmer Plus 2007 / Programmer-Plus-2007.iso / Programming / Borland Plateform / Turbo Prolog 2 / EXAMPL14.PRO < prev    next >
Encoding:
Prolog Source  |  1986-04-01  |  427 b   |  18 lines
  1.              /* Program 14 */
  2. domains
  3.        name, thing = symbol
  4. predicates
  5.        likes(name,thing)
  6.        reads(name)
  7.        is_inquisitive(name)
  8. clauses
  9.        likes(john,wine).
  10.        likes(lance,ski_ing).
  11.        likes(Z,books) if
  12.                    reads(Z) and
  13.                    is_inquisitive(Z).
  14.        likes(lance,books).
  15.        likes(lance,films).
  16.        reads(john).
  17.        is_inquisitive(john).
  18.